On countable locally described structures
نویسندگان
چکیده
منابع مشابه
On spaces with locally countable weak-bases
In this paper, we discuss the relationships between spaces with locally countable weak-bases and spaces with various locally countable networks, establish the relationships between spaces with locally countable weak-bases and locally separable metric spaces, and show that spaces have locally countable weak-bases if and only if they are locally Lindelöf, g-metrizable spaces. These are improvemen...
متن کاملInvariant Measures Concentrated on Countable Structures
Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying set as M that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of M. We show that M admits an invariant measure if and only if it has trivial definable...
متن کاملSimple and immune relations on countable structures
Let A be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy B of A in which the image of R (¬R, resp.) is simple (immune, resp.) relative to B. We also establish, under certain effectiveness conditions on A nad R, a necessary and sufficient condition for the existence of a computable copy B of A in whic...
متن کاملOn symmetric indivisibility of countable structures
A structure M ≤ N is symmetrically embedded in N if any σ ∈ Aut(M) extends to an automorphism of N . A countable structure M is symmetrically indivisible if for any coloring of M by two colors there exists a monochromatic M ≤ M such that M ∼= M and M is symmetrically embedded in M. We give a model-theoretic proof of the symmetric indivisibility of Rado’s countable random graph [9] and use these...
متن کاملLocally Compact, Locally Countable Spaces and Random Reals
In this note I will present a proof that, assuming PFA, if R is a measure algebra then after forcing with R every uncountable locally compact locally countable cometrizable space contains an uncountable discrete set. The lemmas and techniques will be presented in a general form as they may be applicable to other problems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1987
ISSN: 0168-0072
DOI: 10.1016/0168-0072(87)90064-9